f <$> m1 <*> m2